rcv{-}from{-}on(${\it dE}$; ${\it dL}$; ${\it info}$; $e$; $l$; $r$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$band(rcv?(${\it info}$;$r$); band((eqof(${\it dE}$)($e$,sender(${\it info}$;$r$))); (eqof(${\it dL}$)($l$,link(${\it info}$;$r$)))))